Cliff Goddard's Documents

Cliff Goddard's Documents

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Read more
Embedded Computing: A VLIW Approach to Architecture, Compilers and Tools

Embedded Computing: A VLIW Approach to Architecture, Compilers and Tools
Read more
Public-Private Partnerships: Managing Risks and Opportunities

Public-Private Partnerships: Managing Risks and Opportunities
Read more
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Read more
Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems
Read more
Built to Learn: The Inside Story of How Rockwell Collins Became a True Learning Organization

Built to Learn: The Inside Story of How Rockwell Collins Became a True Learning Organization
Read more
Theoretical Aspects of Computing - ICTAC 2007, 4 conf

Theoretical Aspects of Computing - ICTAC 2007, 4 conf
Read more
The Standard Model: A Primer

The Standard Model: A Primer
Read more
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Read more
Built to Learn: The Inside Story of How Rockwell Collins Became a True Learning Organization

Built to Learn: The Inside Story of How Rockwell Collins Became a True Learning Organization
Read more
Discrete Mathematics for Computer Scientists

Discrete Mathematics for Computer Scientists
Read more
One-to-One Web Marketing: Build a Relationship Marketing Strategy One Customer at a Time, Second Edition

One-to-One Web Marketing: Build a Relationship Marketing Strategy One Customer at a Time, Second Edition
Read more
War Epidemics: An Historical Geography of Infectious Diseases in Military Conflict and Civil Strife, 1850-2000 (Oxford Geographical and Environmental Studies)

War Epidemics: An Historical Geography of Infectious Diseases in Military Conflict and Civil Strife, 1850-2000 (Oxford Geographical and Environmental Studies)
Read more
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria,

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria,
Read more
International Business: Theory and Practice

International Business: Theory and Practice
Read more
Essentials of Economics

Essentials of Economics
Read more
The Politics of Childhood: International Perspectives, Contemporary Developments

The Politics of Childhood: International Perspectives, Contemporary Developments
Read more
International Business: Theory and Practice

International Business: Theory and Practice
Read more
The New Science of Giambattista Vico: Translated from the Third Edition (1744)

The New Science of Giambattista Vico: Translated from the Third Edition (1744)
Read more
Essentials of Economics

Essentials of Economics
Read more
The Anthropology of Europe: Identities and Boundaries in Conflict (Explorations in Anthropology)

The Anthropology of Europe: Identities and Boundaries in Conflict (Explorations in Anthropology)
Read more
Globalization and Technology Absorption in Europe and Central Asia: The Role of Trade, FDI and Cross-border Knowledge Flows

Globalization and Technology Absorption in Europe and Central Asia: The Role of Trade, FDI and Cross-border Knowledge Flows
Read more
A New Dimension to Quantum Chemistry: Analytic Derivative Methods in Ab Initio Molecular Electronic Structure Theory (International Series of Monographs on Chemistry 29)

A New Dimension to Quantum Chemistry: Analytic Derivative Methods in Ab Initio Molecular Electronic Structure Theory (International Series of Monographs on Chemistry 29)
Read more
Cyber Situational Awareness: Issues and Research (Advances in Information Security)

Cyber Situational Awareness: Issues and Research (Advances in Information Security)
Read more
Police Without Borders: The Fading Distinction between Local and Global

Police Without Borders: The Fading Distinction between Local and Global
Read more
Communicating Sequential Processes.. The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP

Communicating Sequential Processes.. The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP
Read more
Cyber Situational Awareness: Issues and Research

Cyber Situational Awareness: Issues and Research
Read more
Philosophy of Complex Systems

Philosophy of Complex Systems
Read more
Reflections on the Work of C.A.R. Hoare (History of Computing)

Reflections on the Work of C.A.R. Hoare (History of Computing)
Read more
Journal of Organizational Change Management - Volume 18 Issue 1 (2005)

Journal of Organizational Change Management - Volume 18 Issue 1 (2005)
Read more